home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Open Prolog 1.0.3d33 / Samples / Tak < prev   
Text File  |  1994-04-18  |  170b  |  11 lines

  1. tak(A,B,C,C) :- 
  2.    A=<B,!.
  3. tak(A,B,C,D) :- 
  4.    tak1(A,B,C,E),!,
  5.    tak1(B,C,A,F),!,
  6.    tak1(C,A,B,G),!,
  7.    tak(E,F,G,D).
  8. tak1(A,B,C,D) :- 
  9.    E is A-1,
  10.    tak(E,B,C,D).
  11.